c formula generated with seed 2, probabilty values 0.414000 0.028000 0.503000 and clause ration 4.410000
c the planted solution is {1, 3, 6, 7, 9, 10, 11, 14, 16, 17, 19, 20, 23, 24, 25, 30, 32, 33, 34, 35, 38, 41, 43, 44, 48, 49, 50, 52, 53, 55, 56, 58, 59, 61, 62, 63, 66, 70, 71, 72, 74, 75, 80, 84, 92, 93, 95, 96, 98, 99, 100, 101, 106, 108, 111, 112, 117, 118, 119, 123, 124, 125, 126, 128, 129, 132, 134, 136, 137, 138, 140, 141, 143, 145, 146, 147, 148, 150, 151, 152, 154, 155, 156, 161, 162, 165, 166, 168, 169, 170, 171, 172, 173, 176, 177, 178, 182, 183, 184, 186, 187, 189, 191, 192, 193, 196, 198, 201, 202, 203, 204, 205, 210, 211, 212, 213, 216, 218, 221, 223, 225, 229, 231, 232, 233, 234, 236, 238, 239, 240, 242, 244, 245, 247, 248, 251, 252, 253, 254, 256, 259, 260, 263, 265, 269, 270, 274, 279, 280, 286, 288, 290, 291, 292, 293, 294, 297, 298, 299, 306, 308, 309, 310, 312, 314, 315, 316, 317, 321, 322, 325, 326, 334, 336, 343, 344, 345, 354, 357, 364, 367, 370, 372, 373, 376, 378, 379, 380, 381, 383, 385, 387, 388, 390, 391, 397, 402, 403, 406, 412, 413, 414, 417, 418, 419, 427, 428, 429, 430, 431, 434, 436, 440, 441, 443, 449, 450, 453, 454, 456, 457, 458, 460, 463, 464, 466, 467, 468, 469, 470, 472, 474, 476, 477, 479, 480, 484, 485, 486, 489, 490, 492, 493, 494, 495, 498, 500, 501, 502, 503, 504, 508, 509, 510, 512, 513, 515, 516, 518, 521, 523, 525, 527, 528, 529, 531, 533, 534, 537, 538, 539, 541, 542, 545, 546, 548, 550, 551, 555, 559, 560, 561, 562, 564, 568, 572, 575, 576, 578, 579, 580, 582, 583, 584, 585, 586, 590, 591, 592, 593, 594, 598, 599}
p cnf 600 2646
397 -253 -233 0
-368 -230 -439 0
420 -425 -165 0
-572 278 32 0
-197 15 163 0
47 -168 -323 0
-278 -351 -444 0
588 148 571 0
386 -365 -380 0
467 278 433 0
380 466 -144 0
138 -73 -522 0
-119 -502 -207 0
403 -145 241 0
597 -445 -150 0
-272 88 482 0
541 -339 297 0
131 495 207 0
158 -475 -325 0
595 52 488 0
-537 580 -381 0
30 -443 -50 0
-347 -124 215 0
-399 -421 146 0
32 568 -78 0
-540 -63 -155 0
-527 277 112 0
-250 -164 184 0
-339 185 445 0
80 -99 206 0
-18 -1 195 0
317 -88 92 0
6 -250 204 0
57 -166 -491 0
-309 -151 118 0
253 395 -525 0
-339 -436 -152 0
38 145 364 0
-575 429 -361 0
66 539 492 0
162 -95 228 0
-538 385 357 0
-20 316 328 0
124 -413 540 0
-484 -346 -201 0
-541 -471 482 0
51 -476 -422 0
-460 598 -599 0
-452 114 -550 0
564 360 -299 0
374 -49 -421 0
234 -424 145 0
339 -268 363 0
186 441 -384 0
-495 -130 42 0
-41 -402 -337 0
-260 498 -548 0
-196 536 49 0
-115 479 -348 0
-344 -415 142 0
557 89 -243 0
-274 -296 424 0
147 -420 -421 0
208 -269 263 0
-304 -346 -404 0
-350 -367 -210 0
322 43 463 0
-419 -124 162 0
-91 189 -487 0
-220 377 425 0
153 427 -192 0
-289 -538 511 0
-567 -329 -181 0
-402 -588 -286 0
-276 553 -289 0
-490 5 -131 0
596 -210 402 0
-178 150 577 0
251 224 200 0
430 -111 507 0
-185 134 -441 0
504 81 522 0
-145 -125 95 0
114 -291 -595 0
-424 -105 568 0
297 -219 243 0
-106 181 418 0
58 -499 -399 0
22 119 -244 0
525 235 377 0
-532 189 201 0
223 543 -177 0
-35 -79 -271 0
556 37 -157 0
534 573 -518 0
301 -401 37 0
496 278 381 0
129 -118 -212 0
-539 -226 -492 0
-446 -556 -200 0
-469 485 505 0
564 -371 339 0
364 20 343 0
14 17 117 0
543 -305 -413 0
3 -550 -74 0
-490 -71 469 0
409 -149 319 0
67 -110 -591 0
326 -44 390 0
-230 -85 404 0
-486 197 -478 0
237 -338 -493 0
120 -50 -243 0
294 429 196 0
-402 -63 41 0
-362 -406 451 0
-523 -23 -266 0
-29 -296 -567 0
-305 -307 -199 0
-216 -180 425 0
-212 -272 482 0
288 -113 187 0
-398 71 -207 0
-320 -149 196 0
586 -447 151 0
240 519 365 0
19 -218 8 0
307 376 -99 0
228 295 66 0
391 334 -305 0
139 119 27 0
428 -239 -298 0
258 16 319 0
-158 -179 -363 0
519 337 -144 0
-257 71 -505 0
-27 -184 435 0
69 233 2 0
230 563 -78 0
329 -230 -205 0
225 291 494 0
503 -448 -77 0
434 105 -582 0
-418 -510 -459 0
-496 446 -590 0
-218 579 -169 0
121 -41 -301 0
283 84 -147 0
395 -554 -541 0
82 525 160 0
232 599 -588 0
531 -469 301 0
406 303 310 0
-217 -423 376 0
331 -416 -212 0
151 15 -177 0
-429 -369 465 0
565 173 -500 0
528 44 106 0
87 404 -69 0
190 -530 330 0
175 -203 6 0
439 -516 449 0
-372 18 -400 0
-555 543 -338 0
-211 315 -334 0
-200 589 -299 0
-96 -570 -245 0
-408 550 169 0
48 539 -452 0
61 599 512 0
185 -472 -197 0
21 -575 -194 0
-174 265 -364 0
503 501 -589 0
-39 119 -227 0
536 482 388 0
-49 -288 1 0
-485 10 -176 0
159 509 408 0
160 531 -403 0
-248 182 122 0
187 106 254 0
51 498 -12 0
3 272 -151 0
250 114 538 0
262 328 466 0
523 -82 -285 0
-470 494 481 0
123 -96 -245 0
-599 -285 438 0
-581 436 -425 0
466 -489 -449 0
-290 89 95 0
252 -420 99 0
-448 554 -489 0
-282 -422 162 0
-402 -153 526 0
-553 27 -510 0
247 -491 551 0
-598 -440 198 0
-417 -229 -571 0
-384 67 -470 0
528 -525 304 0
99 239 523 0
-398 -173 107 0
28 -155 493 0
-288 -143 177 0
-382 127 -502 0
-276 -488 -444 0
65 161 255 0
-460 -276 -336 0
27 384 147 0
518 578 94 0
-78 165 -68 0
419 -236 164 0
-495 -427 143 0
-530 -391 307 0
258 519 -289 0
-497 -435 450 0
-437 233 -115 0
-526 -524 334 0
55 453 -452 0
160 298 120 0
314 94 157 0
257 85 -600 0
-386 77 107 0
-197 304 -186 0
321 206 276 0
528 289 -434 0
490 538 -493 0
-142 138 -157 0
-501 -185 517 0
63 -411 575 0
357 380 325 0
-32 226 -276 0
-99 541 31 0
-5 -83 -208 0
-465 -275 -405 0
355 -514 543 0
260 118 -48 0
-315 17 398 0
489 576 -283 0
151 108 23 0
-444 102 164 0
419 -158 204 0
412 477 218 0
-157 -53 -125 0
353 -447 68 0
-261 -50 -559 0
298 548 527 0
-81 -169 -516 0
488 425 -333 0
579 -393 -581 0
-536 -501 227 0
21 37 -90 0
-207 283 -178 0
-59 -406 -340 0
-480 -488 -132 0
555 65 -456 0
-192 -493 379 0
569 -56 -179 0
-179 -172 277 0
82 -504 -311 0
369 4 537 0
464 161 494 0
-413 -319 -14 0
-347 -335 -66 0
-108 -299 -324 0
559 -445 -328 0
587 153 464 0
216 536 97 0
-420 36 -486 0
533 191 126 0
-538 253 289 0
404 -587 -427 0
124 -90 -164 0
-267 459 -364 0
-366 413 510 0
-319 196 3 0
-443 411 512 0
3 282 499 0
320 -23 317 0
542 251 -224 0
-393 531 -407 0
-290 331 412 0
437 -552 -56 0
240 446 42 0
-509 62 -504 0
-537 -326 75 0
-50 -356 -186 0
-56 -575 564 0
-365 -9 348 0
-63 -108 -29 0
384 -209 -119 0
279 515 203 0
-367 -581 -128 0
-19 -354 260 0
-462 315 -487 0
166 406 -377 0
-329 -585 -38 0
175 499 -135 0
586 -209 104 0
443 36 -457 0
400 135 357 0
-360 -11 -128 0
455 74 122 0
-102 -292 -212 0
-281 336 -394 0
39 194 -567 0
49 596 -593 0
254 273 -7 0
-78 236 -83 0
376 321 -175 0
539 -303 186 0
408 -371 197 0
273 124 505 0
-165 389 529 0
400 46 -174 0
405 9 536 0
132 -348 518 0
329 421 -328 0
141 421 97 0
120 50 222 0
167 -42 -203 0
234 -260 -279 0
-142 -464 -123 0
115 317 -169 0
552 -362 -314 0
-126 -299 -398 0
-523 -223 -29 0
-589 -198 549 0
445 -564 35 0
288 -191 105 0
264 44 544 0
563 591 257 0
575 -528 164 0
-556 -62 -54 0
-528 205 -202 0
199 -103 -132 0
97 -329 -168 0
-145 -448 -61 0
-40 -260 113 0
-395 298 186 0
476 -207 -139 0
-7 -467 242 0
-144 598 -487 0
-574 -409 -220 0
445 141 47 0
-561 359 316 0
-466 -28 -193 0
366 216 167 0
-380 494 -312 0
-397 573 260 0
508 80 -519 0
45 -468 492 0
175 279 424 0
-46 384 415 0
-119 7 355 0
-333 429 -325 0
-477 -185 -598 0
-170 -538 593 0
201 395 -152 0
274 -405 -295 0
-228 584 279 0
-449 69 74 0
490 -181 541 0
16 319 587 0
-310 -508 84 0
-21 415 -583 0
471 124 167 0
-100 -449 -295 0
-226 181 208 0
-485 -524 339 0
-277 454 -421 0
-351 -127 -209 0
-236 389 -311 0
360 -275 163 0
371 395 562 0
-535 59 266 0
-169 -348 -454 0
268 -191 231 0
-579 -207 442 0
252 98 244 0
132 229 -475 0
127 -46 352 0
-160 -408 -319 0
478 358 -333 0
402 363 347 0
179 104 -94 0
-8 -329 50 0
43 27 -6 0
284 212 595 0
-505 -268 403 0
-565 440 -428 0
220 -175 -310 0
-20 -192 -243 0
19 -52 507 0
-335 -597 406 0
117 -244 -268 0
-170 352 279 0
-60 561 183 0
496 -330 -166 0
4 599 -469 0
423 -440 132 0
351 261 -175 0
-477 395 -188 0
56 -574 -435 0
271 -142 415 0
-576 463 -592 0
385 431 -246 0
345 -490 121 0
-330 81 46 0
-518 202 -72 0
572 -576 -523 0
499 -177 402 0
524 -349 -561 0
-333 126 464 0
-101 148 420 0
28 247 133 0
-555 143 573 0
372 -225 -391 0
98 336 413 0
296 -402 -278 0
459 -301 -533 0
-530 -390 363 0
-106 -584 -552 0
-592 -300 83 0
-285 -342 -118 0
120 -180 -286 0
-300 212 -393 0
-31 -274 -428 0
345 -307 204 0
-257 119 -13 0
100 126 -65 0
-201 -358 -240 0
-73 467 -220 0
-301 -140 -30 0
-508 -414 -120 0
421 -579 502 0
-33 544 512 0
125 -174 172 0
108 582 -496 0
-207 -538 82 0
211 57 103 0
-221 -533 -342 0
392 -505 258 0
166 122 -148 0
430 -164 572 0
-284 -493 313 0
458 -20 -545 0
-330 -65 449 0
-189 354 -412 0
579 -47 -600 0
-377 592 472 0
-176 -57 -152 0
83 256 -336 0
-194 -17 272 0
-426 -332 -330 0
-479 452 -249 0
523 -167 -15 0
43 -231 45 0
-15 -44 -225 0
-410 62 -5 0
471 -435 540 0
-124 289 50 0
320 80 -169 0
536 -123 580 0
-214 -419 121 0
534 -23 -316 0
357 165 -338 0
-177 47 3 0
129 239 -337 0
-168 186 -590 0
-562 478 -174 0
190 47 25 0
-508 -475 -203 0
-76 177 62 0
72 27 435 0
-427 -205 -64 0
-442 -391 -49 0
306 357 -313 0
268 309 -431 0
-575 -506 459 0
452 -599 -86 0
372 483 214 0
436 263 3 0
490 71 294 0
142 594 -148 0
-442 239 584 0
-388 270 563 0
-477 309 -191 0
438 -517 445 0
96 -88 -160 0
-263 -235 491 0
122 -69 51 0
227 -27 -247 0
-42 484 177 0
521 -365 -566 0
51 -402 523 0
325 393 302 0
4 312 -92 0
324 568 175 0
64 -377 375 0
-62 -232 71 0
395 -74 -324 0
-205 119 284 0
-15 -368 74 0
42 -228 -599 0
441 218 -26 0
204 -183 327 0
548 -14 91 0
151 -345 -176 0
356 312 -111 0
189 438 241 0
-209 -271 -543 0
-371 584 385 0
-226 -310 363 0
-334 288 -94 0
44 245 247 0
-448 209 -92 0
356 -433 -288 0
-319 -530 -363 0
-557 285 -453 0
456 105 -71 0
188 -503 551 0
14 406 133 0
33 -38 -537 0
239 169 559 0
-500 345 -216 0
-224 -597 -426 0
521 -438 -522 0
62 95 -349 0
-246 -210 -390 0
531 204 -421 0
395 513 -140 0
462 136 -453 0
106 104 435 0
6 44 -526 0
-330 545 -311 0
-596 478 -198 0
393 -123 183 0
287 335 -175 0
3 -551 -211 0
-54 -396 -398 0
146 261 255 0
90 144 -272 0
-325 -167 -162 0
511 61 149 0
30 -560 319 0
-144 -113 182 0
449 -585 -412 0
566 303 -392 0
-101 -236 498 0
-424 -134 127 0
162 -570 55 0
-496 -461 -458 0
70 -207 373 0
-219 -409 -565 0
-128 574 232 0
102 509 105 0
430 -547 -375 0
-40 45 -23 0
-157 -115 -558 0
374 -495 -369 0
190 193 359 0
-241 -242 -14 0
-420 538 -224 0
445 286 -493 0
-94 379 170 0
546 -564 526 0
-275 221 -549 0
-596 255 -62 0
437 -68 -17 0
418 163 -539 0
-579 -245 225 0
343 -503 -513 0
3 -202 243 0
247 18 496 0
322 50 433 0
-546 262 -69 0
-519 -269 526 0
-326 -73 44 0
-557 381 -395 0
445 397 -195 0
-175 397 259 0
346 484 -301 0
-526 313 -95 0
-29 225 398 0
554 490 376 0
405 -80 586 0
-26 581 423 0
-200 121 327 0
499 -21 -598 0
111 -183 -583 0
-479 -349 352 0
230 -509 -442 0
-180 38 -217 0
158 -20 -21 0
-494 -307 571 0
361 536 545 0
-140 60 343 0
-201 97 191 0
-351 -370 67 0
-258 124 -65 0
-570 270 -110 0
-427 -94 -579 0
-177 -299 254 0
-196 -22 13 0
-23 174 -45 0
-564 -460 292 0
-385 -360 -211 0
-290 -328 -357 0
588 -90 589 0
-413 148 332 0
-242 -524 68 0
560 52 -271 0
559 524 337 0
218 -385 -253 0
205 -243 -301 0
317 -460 -316 0
-561 466 -124 0
432 377 314 0
13 -283 342 0
338 -22 -397 0
369 285 -257 0
-573 392 -216 0
492 99 -89 0
34 -567 41 0
-592 269 -202 0
535 -271 445 0
-549 -38 -583 0
-298 52 524 0
591 -131 516 0
-249 375 452 0
571 -139 -157 0
-383 255 -371 0
-120 84 309 0
123 436 96 0
-471 157 249 0
-582 432 484 0
284 -54 249 0
-487 166 550 0
157 484 311 0
-336 -169 -588 0
-20 -242 -227 0
-132 -291 310 0
-254 -418 529 0
-345 344 -198 0
492 575 91 0
-21 129 585 0
-198 560 264 0
378 -41 -140 0
-44 -424 389 0
-120 444 85 0
-98 -24 -139 0
-229 -173 -273 0
-599 259 199 0
-251 -112 95 0
-72 -212 251 0
-481 325 469 0
-54 497 -585 0
-45 580 -209 0
506 68 -416 0
207 58 -367 0
-438 -496 -447 0
-366 593 -362 0
184 185 281 0
559 274 -558 0
17 304 -7 0
-281 -142 -267 0
86 442 290 0
-305 -237 502 0
437 380 -100 0
57 -481 -546 0
-185 456 -135 0
564 456 383 0
-294 8 156 0
514 510 153 0
-64 -150 465 0
362 20 -99 0
-375 -466 -385 0
-403 -282 -551 0
-81 360 359 0
20 -116 555 0
-278 -530 310 0
-67 -72 -20 0
-108 599 422 0
483 -256 -217 0
-457 96 -419 0
335 -165 -262 0
-433 278 -440 0
-276 222 56 0
514 -382 177 0
-424 244 -15 0
-5 -29 225 0
-43 168 281 0
-289 -34 307 0
471 158 16 0
-98 -76 448 0
-256 -581 -62 0
-229 -142 -52 0
121 102 -89 0
170 -445 -451 0
-539 -549 -387 0
-255 209 -579 0
-214 -462 260 0
93 566 -576 0
-114 -282 129 0
550 555 455 0
50 -245 313 0
-279 370 214 0
418 -225 -430 0
-85 -86 112 0
229 -25 -294 0
-266 108 23 0
-298 -507 573 0
-484 -535 -516 0
589 -390 -307 0
246 29 132 0
-522 -13 -451 0
409 503 -370 0
-306 53 -223 0
62 -253 563 0
589 -599 184 0
165 -35 -477 0
15 -222 -430 0
390 499 275 0
-36 224 -391 0
-487 379 503 0
-237 473 -173 0
2 -286 -281 0
-423 7 315 0
592 306 -460 0
-232 380 339 0
356 -348 -545 0
-521 -87 261 0
571 -307 5 0
-324 -174 -266 0
268 -245 430 0
-557 89 481 0
324 -551 -227 0
22 -148 -230 0
432 -30 586 0
245 -382 -532 0
-22 -329 229 0
-109 -294 237 0
24 455 -493 0
-293 -78 -58 0
329 -164 -380 0
488 -492 583 0
-346 -93 -166 0
-406 545 -166 0
490 299 191 0
-377 -174 25 0
255 -360 -458 0
-583 -215 355 0
124 579 -160 0
107 129 483 0
312 209 -310 0
545 -419 -379 0
-410 317 -442 0
317 -205 565 0
557 445 -180 0
382 -29 -298 0
85 -511 -256 0
323 129 160 0
-166 456 -408 0
270 576 -405 0
297 -578 -367 0
-569 521 -409 0
215 19 -283 0
-284 283 12 0
-457 -39 -515 0
87 492 76 0
-355 67 -310 0
415 -82 209 0
-519 -83 174 0
551 122 -548 0
-505 -415 108 0
-86 -41 -173 0
547 -266 -125 0
253 522 -101 0
-258 426 400 0
326 79 249 0
237 -383 -226 0
192 46 -101 0
-563 -72 399 0
599 375 -204 0
-168 349 584 0
-473 461 337 0
-294 -288 -199 0
-45 -270 -118 0
-431 172 42 0
-426 199 -485 0
-582 197 -595 0
237 -100 -362 0
-13 533 187 0
-412 -26 -525 0
8 -328 54 0
-103 120 -221 0
-406 538 194 0
-302 280 -409 0
149 -239 -524 0
-1 -135 435 0
-317 430 296 0
165 261 -202 0
-150 505 124 0
453 77 438 0
-363 129 334 0
314 -195 586 0
-307 346 -111 0
559 -401 100 0
-405 564 -69 0
-143 -576 370 0
-132 -261 460 0
-223 -453 -275 0
-209 -54 502 0
526 65 150 0
-179 -365 148 0
578 445 81 0
284 -341 -458 0
-98 -218 -371 0
-396 -456 -316 0
85 -579 -64 0
-133 251 13 0
571 -92 -250 0
148 503 -160 0
-242 42 239 0
423 -437 -493 0
510 -296 -323 0
-279 95 524 0
-355 -203 552 0
-175 496 -24 0
-194 586 417 0
458 -186 349 0
170 -215 -153 0
325 409 -357 0
-396 -381 -468 0
-46 11 508 0
-324 -503 -14 0
-457 -315 380 0
-440 -283 -378 0
-389 478 -141 0
406 218 -332 0
68 600 189 0
-280 -400 -385 0
-400 -215 152 0
497 566 551 0
19 335 358 0
449 -568 -502 0
-184 88 286 0
-360 -558 -302 0
-494 -329 90 0
-147 497 503 0
-126 409 -522 0
132 480 -311 0
-346 -401 269 0
393 224 -27 0
-198 -240 -362 0
-94 -51 -452 0
394 580 557 0
-460 -426 -70 0
587 598 355 0
-183 -80 -540 0
538 -290 -182 0
59 299 -411 0
171 363 -170 0
126 206 237 0
-379 397 -30 0
243 -546 -103 0
-275 -409 -214 0
-88 -488 43 0
98 -542 -599 0
-459 -63 22 0
334 192 -149 0
-195 114 158 0
-295 -349 322 0
-63 -496 491 0
460 -201 257 0
129 -353 -60 0
509 432 296 0
76 518 -144 0
-344 -80 310 0
-325 -336 138 0
-330 183 -188 0
558 85 -506 0
-378 -21 167 0
-25 92 179 0
125 -34 79 0
-264 572 -567 0
-322 -506 528 0
94 69 470 0
57 187 565 0
-162 425 253 0
-427 -353 -53 0
181 -150 312 0
428 105 31 0
-250 261 188 0
-499 -85 -227 0
337 -531 170 0
-492 -313 481 0
-461 90 195 0
169 -228 428 0
100 169 196 0
-364 -303 -417 0
226 -301 -43 0
576 416 563 0
352 -163 -251 0
-437 89 -561 0
462 -303 -252 0
-381 -432 -112 0
-393 -254 144 0
-75 -167 -264 0
504 -259 552 0
-426 -481 -304 0
-49 403 -561 0
-242 -50 49 0
163 30 597 0
-380 -204 -536 0
127 391 -306 0
127 -335 410 0
270 -405 -351 0
-299 -425 -381 0
326 158 21 0
-255 340 -309 0
-379 165 160 0
-53 493 442 0
-340 -74 368 0
429 -322 511 0
-207 -75 -441 0
-363 53 -43 0
352 356 75 0
-61 267 75 0
170 413 -68 0
270 -88 292 0
-468 175 -109 0
439 552 -266 0
-545 379 -17 0
-123 179 -313 0
345 211 -149 0
-337 58 178 0
-283 -124 446 0
-195 -254 -308 0
310 -304 84 0
-49 177 188 0
-392 38 -83 0
-415 -111 -131 0
562 -269 85 0
433 273 72 0
441 386 405 0
468 -488 -226 0
-557 -513 -61 0
-413 314 359 0
377 594 587 0
41 -113 231 0
77 -389 -156 0
-289 -181 -348 0
171 -227 70 0
-130 99 -393 0
-33 -284 -154 0
-244 343 320 0
-437 97 -488 0
36 -460 515 0
-445 -514 -110 0
-283 23 -407 0
348 391 262 0
-28 -493 -501 0
-257 268 278 0
6 57 -192 0
37 302 223 0
-324 -411 -452 0
-396 524 -50 0
-417 273 -319 0
-79 -545 471 0
437 -501 128 0
-290 304 192 0
504 -267 -51 0
-248 -177 345 0
-35 357 -231 0
-408 -6 -551 0
-554 92 -87 0
-235 -238 -280 0
-207 93 293 0
22 25 313 0
-126 412 -62 0
-238 -78 57 0
-26 -584 400 0
-489 -453 143 0
285 499 -103 0
541 583 -120 0
-210 -155 458 0
-193 28 538 0
90 -479 458 0
-50 116 -404 0
529 -334 319 0
-162 -196 -386 0
-42 -149 -281 0
6 -526 -51 0
533 506 18 0
155 5 27 0
-350 -542 -387 0
427 373 -125 0
328 92 483 0
337 -38 204 0
591 -73 370 0
317 -334 433 0
-291 -428 182 0
442 -450 66 0
-1 513 68 0
295 224 334 0
521 -545 283 0
-225 -204 321 0
-562 211 482 0
-493 81 134 0
-81 -366 -302 0
290 -552 -363 0
-24 -428 -276 0
441 -5 576 0
-514 -353 385 0
114 427 76 0
594 528 370 0
-247 256 -50 0
500 -160 -283 0
-373 -310 -497 0
545 380 74 0
525 204 370 0
-598 -235 -231 0
-69 -327 256 0
463 428 -590 0
530 -75 -524 0
465 405 286 0
495 315 -554 0
125 70 234 0
310 -470 -575 0
74 -136 -561 0
261 -409 -124 0
147 598 -40 0
358 -135 -118 0
-291 47 -459 0
79 252 -143 0
557 125 13 0
-258 -407 -305 0
-446 -483 -371 0
498 -452 -339 0
-233 300 -255 0
60 -414 -499 0
-182 -592 -410 0
27 -313 375 0
3 173 212 0
-423 -201 104 0
526 -337 -443 0
522 476 -254 0
-387 372 -364 0
490 -502 -245 0
-172 594 -71 0
465 301 -455 0
-490 -456 -226 0
-318 29 592 0
-124 181 -507 0
-516 13 -478 0
512 -63 -30 0
185 -591 -139 0
598 -227 -339 0
378 -503 409 0
-510 -438 102 0
-25 -10 -366 0
-137 -588 371 0
42 435 -432 0
-204 -136 -29 0
528 126 -496 0
-194 143 -281 0
405 -511 600 0
542 419 123 0
-339 74 -5 0
-569 478 -490 0
-92 -383 293 0
-580 -469 -567 0
326 -565 288 0
-485 159 -565 0
-353 -371 -355 0
256 -365 -127 0
315 545 326 0
-71 557 -335 0
510 -144 598 0
-97 447 -502 0
247 40 -541 0
-584 -31 73 0
80 106 229 0
-327 -469 60 0
-350 419 -416 0
-239 -563 197 0
297 177 294 0
568 361 472 0
497 585 -508 0
-415 -538 237 0
-548 -97 384 0
362 111 261 0
-86 -378 465 0
-172 189 -376 0
135 92 -221 0
232 -494 -270 0
-328 -502 526 0
-568 80 -583 0
-544 -185 169 0
166 -205 -256 0
165 488 -201 0
376 446 237 0
186 152 -27 0
-351 -12 -87 0
-23 218 -55 0
38 566 347 0
-175 -55 -270 0
-502 442 137 0
413 369 415 0
-30 -360 259 0
98 194 -225 0
-324 229 345 0
-517 101 -3 0
381 125 480 0
-118 425 33 0
-330 -42 -389 0
-90 -512 -542 0
-277 -24 588 0
552 -464 428 0
-369 18 -548 0
-326 331 161 0
-356 -386 -51 0
452 -451 97 0
439 -104 -253 0
105 368 -573 0
522 -60 -269 0
-15 -364 -469 0
-521 61 522 0
323 -561 -342 0
231 -475 -57 0
204 353 -309 0
305 -394 272 0
292 364 61 0
-549 75 572 0
-441 484 348 0
-593 52 488 0
327 -209 -548 0
105 12 -37 0
57 -229 429 0
-512 -533 184 0
144 -299 493 0
-461 166 -474 0
458 466 -278 0
-557 470 498 0
-347 -368 403 0
-125 -478 222 0
-87 -205 54 0
210 354 495 0
397 -423 -510 0
-349 259 186 0
-177 -165 216 0
-180 -228 443 0
350 -443 -330 0
360 -323 39 0
-211 152 491 0
-363 -297 87 0
-423 22 -551 0
-571 322 -243 0
-390 284 545 0
183 -302 -459 0
163 21 -361 0
-387 390 -476 0
446 -316 -596 0
189 -353 -120 0
-130 192 -399 0
-511 -356 -558 0
-166 -56 548 0
399 -44 50 0
323 -83 276 0
177 539 211 0
-214 -597 -83 0
480 -486 394 0
578 -278 -277 0
78 373 531 0
-557 574 -137 0
122 429 398 0
-322 283 201 0
126 -82 47 0
-90 -228 -262 0
-13 -55 350 0
-182 -256 242 0
487 281 -496 0
340 -151 24 0
-27 -274 455 0
-223 534 -564 0
285 499 345 0
-443 -73 91 0
277 -557 98 0
-569 116 -213 0
-337 -310 171 0
-43 -137 572 0
-7 -181 -561 0
-262 -424 419 0
-38 -179 -315 0
243 396 419 0
487 -284 536 0
425 -512 468 0
545 136 495 0
32 354 -105 0
324 -166 -487 0
-458 -26 -187 0
-137 -164 -299 0
-541 -493 75 0
-114 -225 -309 0
-427 140 478 0
210 -247 73 0
-247 -195 -309 0
-74 -567 -132 0
512 400 -500 0
152 406 -224 0
150 514 439 0
306 443 -102 0
432 458 -178 0
231 316 185 0
19 272 -406 0
-134 -524 224 0
-532 284 -584 0
65 -342 363 0
212 -293 -20 0
-479 -8 -354 0
-252 -391 6 0
-490 37 521 0
-5 -297 -344 0
589 -561 -451 0
-316 252 115 0
598 -40 -311 0
232 409 254 0
34 378 -497 0
96 538 -448 0
-20 -260 -338 0
421 -548 192 0
-67 -371 364 0
379 -392 196 0
360 -581 -315 0
-194 175 -429 0
388 392 87 0
493 379 391 0
119 -39 434 0
115 140 595 0
-182 409 -42 0
-292 116 -475 0
300 -247 -499 0
172 509 202 0
34 434 -301 0
127 -5 249 0
-600 158 68 0
580 179 60 0
242 417 72 0
-538 69 -219 0
-180 -252 -48 0
515 378 -190 0
542 -300 212 0
-98 -50 -471 0
-147 -272 455 0
149 518 -378 0
-307 -250 -4 0
-170 -266 447 0
-403 340 -497 0
-41 37 236 0
355 -55 -42 0
258 242 439 0
592 102 -453 0
457 -363 -587 0
-90 279 586 0
185 212 -388 0
265 455 -145 0
-15 -212 473 0
-568 -477 176 0
-170 -447 552 0
-547 -292 320 0
200 371 -209 0
3 313 2 0
-125 -188 340 0
217 -314 -2 0
-588 -30 462 0
-195 495 462 0
-176 316 589 0
-120 391 -217 0
520 -159 -503 0
386 -203 140 0
344 -450 319 0
352 -24 -301 0
463 -411 -358 0
499 209 232 0
-204 563 440 0
184 -45 233 0
-580 -449 -51 0
-214 -269 -454 0
-365 536 -260 0
95 -462 380 0
597 -181 526 0
-390 245 -134 0
527 25 385 0
452 -519 276 0
46 -511 -503 0
-284 -283 -478 0
-303 -261 150 0
171 -192 -378 0
-337 -180 443 0
-146 243 186 0
66 -48 451 0
18 -454 534 0
-225 -528 582 0
-112 -137 470 0
167 357 -495 0
-188 168 134 0
-472 -497 301 0
-360 -525 160 0
-493 577 378 0
-237 -506 -553 0
-8 484 562 0
221 180 -576 0
-474 -77 -117 0
353 45 -266 0
-578 586 433 0
516 472 -87 0
-414 -399 350 0
225 -368 24 0
-492 365 96 0
74 -387 300 0
-251 33 -531 0
-420 590 294 0
-79 -350 -540 0
234 -334 102 0
-125 -47 -413 0
203 452 -381 0
-572 -420 -450 0
460 92 434 0
172 305 -308 0
-3 -206 -59 0
-465 143 70 0
559 462 523 0
-572 360 -352 0
55 31 -234 0
484 -285 477 0
65 193 589 0
-535 -29 -73 0
289 -180 83 0
-355 -380 -1 0
256 -463 -541 0
-195 -454 480 0
465 253 -283 0
-533 -38 -547 0
-90 2 305 0
365 170 422 0
311 221 -406 0
292 -59 219 0
80 -155 -213 0
548 59 -89 0
-73 329 272 0
-113 209 337 0
391 -169 271 0
305 -93 253 0
-254 316 410 0
314 -322 19 0
264 587 -589 0
457 -443 -512 0
-447 106 -499 0
20 -65 316 0
10 -382 316 0
-243 375 522 0
50 -21 -64 0
-66 102 -556 0
-358 -564 347 0
-447 -133 -262 0
-450 -418 -595 0
-76 387 -21 0
-84 -533 93 0
-169 -87 -397 0
575 336 286 0
-27 583 -214 0
-411 291 -37 0
192 -431 255 0
88 -369 -269 0
-146 -349 437 0
32 -332 533 0
-241 -126 -578 0
473 -410 -502 0
-66 191 89 0
-484 477 -78 0
459 -424 519 0
311 -85 -344 0
116 112 219 0
27 -26 -315 0
-584 -493 314 0
-276 591 -65 0
509 -516 28 0
418 -213 47 0
466 -179 -554 0
414 -35 -479 0
12 489 -288 0
-77 -146 -385 0
32 122 -539 0
314 -269 -453 0
188 47 443 0
51 63 -580 0
185 99 -152 0
-26 285 107 0
-222 463 -335 0
304 155 -379 0
443 -544 119 0
281 -147 34 0
454 65 596 0
-374 251 128 0
132 -87 -272 0
123 -306 -225 0
207 412 284 0
417 440 -263 0
-288 -589 522 0
-83 -445 152 0
-289 172 380 0
-219 -567 317 0
-202 586 -449 0
-271 -182 54 0
547 -145 -487 0
39 453 452 0
-462 335 -93 0
-575 -84 542 0
580 -335 -362 0
-115 -3 -470 0
-370 -92 41 0
293 -111 423 0
-419 -530 462 0
279 108 294 0
482 440 -468 0
529 -113 -532 0
481 599 158 0
-414 -491 -171 0
594 -235 108 0
570 24 -427 0
-394 63 454 0
172 383 187 0
-490 -218 504 0
551 268 271 0
-293 430 339 0
416 -580 93 0
316 206 426 0
10 -89 -276 0
-278 483 -512 0
-29 -250 -284 0
214 -173 555 0
354 15 181 0
186 -352 -91 0
56 -224 -382 0
22 -227 90 0
153 -92 -268 0
204 435 526 0
562 -558 213 0
-329 -35 -196 0
44 81 362 0
-189 -585 -424 0
-330 413 233 0
-429 90 495 0
-28 -62 -80 0
46 -374 -20 0
-187 305 -588 0
144 275 381 0
538 -330 -89 0
-578 287 -569 0
353 -373 469 0
290 588 -541 0
-313 -519 -438 0
139 -435 51 0
470 474 -429 0
-576 -113 -145 0
378 168 -116 0
-585 553 -569 0
474 556 127 0
510 422 351 0
27 -5 207 0
248 -215 -88 0
-321 -489 183 0
155 592 -577 0
191 -54 49 0
131 -424 -74 0
-91 13 224 0
578 593 489 0
539 -254 -533 0
229 -446 -224 0
49 -481 376 0
29 173 113 0
283 147 372 0
600 234 -297 0
-520 -81 145 0
392 182 -528 0
-384 -214 66 0
-445 -331 -433 0
-262 -219 385 0
154 107 29 0
-516 558 -471 0
156 364 260 0
66 -18 516 0
161 -404 -204 0
-476 -511 536 0
514 238 -589 0
146 371 342 0
-402 -581 424 0
-148 -301 -34 0
-487 569 -463 0
-491 -418 -480 0
62 -220 -12 0
-61 348 -300 0
213 164 514 0
39 -378 -563 0
569 -451 -169 0
-209 436 66 0
490 274 -303 0
-242 407 539 0
-167 197 -576 0
370 -362 -181 0
-148 388 -98 0
229 420 45 0
-467 -122 -233 0
-339 -551 -521 0
-24 555 -479 0
-302 531 590 0
179 -181 540 0
213 -237 43 0
482 219 -107 0
-31 582 96 0
92 -506 -595 0
521 -296 211 0
-326 465 -328 0
-295 -133 254 0
-385 129 -354 0
-62 -219 -119 0
-539 -212 -420 0
266 209 -22 0
-324 -401 480 0
316 -176 -286 0
-348 -120 325 0
478 -496 -252 0
-301 143 440 0
-442 -435 233 0
599 -487 182 0
190 523 -196 0
166 -158 -276 0
229 -298 -129 0
-222 -124 130 0
481 254 -265 0
-491 241 -213 0
-301 28 158 0
-310 -236 367 0
146 -220 -401 0
361 21 -581 0
-32 97 63 0
-301 445 159 0
271 -497 -11 0
402 214 -593 0
-442 479 503 0
-271 368 -66 0
185 -487 566 0
-68 83 60 0
545 512 585 0
359 245 -38 0
273 165 462 0
402 -226 -90 0
551 -208 -175 0
583 576 -442 0
-87 179 -372 0
-412 590 347 0
168 206 -251 0
-574 376 -116 0
323 -287 400 0
62 406 -313 0
-29 287 275 0
180 -122 120 0
472 -376 -431 0
339 -5 302 0
-8 -430 208 0
-322 -30 334 0
243 -310 -519 0
-456 -375 -419 0
277 -148 -115 0
210 35 -179 0
401 -285 -154 0
-349 489 228 0
304 62 -100 0
-381 -90 37 0
49 -427 -366 0
390 415 411 0
-389 -592 543 0
-115 542 61 0
20 -29 -152 0
-290 -527 -272 0
586 32 41 0
205 297 501 0
546 -502 -450 0
-459 475 448 0
440 -520 205 0
-55 141 448 0
482 1 -310 0
-597 98 -535 0
486 210 -28 0
-509 437 1 0
-207 -335 -98 0
345 -364 -20 0
553 150 348 0
121 -515 -319 0
-334 30 -186 0
-282 -134 226 0
476 574 348 0
256 -458 407 0
-542 -317 -540 0
-306 -46 -428 0
486 231 315 0
73 74 -9 0
82 -94 -128 0
61 220 404 0
288 476 -553 0
477 580 -465 0
-129 -344 -524 0
529 314 3 0
297 -563 -581 0
-275 50 -358 0
-1 362 467 0
125 -372 160 0
469 -78 -421 0
-106 -293 -554 0
510 -180 -426 0
-279 -135 416 0
302 168 331 0
-552 -382 208 0
-595 561 -300 0
290 280 -573 0
191 -459 9 0
-5 306 -54 0
374 49 179 0
-376 541 -72 0
-403 463 94 0
274 -110 182 0
495 71 575 0
391 123 176 0
-333 157 405 0
590 13 -117 0
517 -497 365 0
234 -367 -562 0
391 -98 -508 0
-519 385 14 0
391 -61 541 0
440 -24 408 0
279 150 -422 0
-204 443 -333 0
193 -526 -553 0
-487 -73 531 0
-553 -349 -79 0
-271 596 60 0
128 250 -380 0
156 426 278 0
-53 -525 -514 0
117 -1 22 0
-47 -170 -343 0
492 592 -371 0
165 236 484 0
-244 -579 309 0
-29 -96 311 0
-54 -3 400 0
55 299 -571 0
-501 148 -537 0
372 -240 -381 0
-158 127 392 0
410 -199 -310 0
-36 423 -187 0
-48 456 439 0
-155 -313 311 0
495 -192 -143 0
437 -113 -579 0
509 -155 -367 0
170 434 -573 0
-559 -344 125 0
-515 220 -241 0
-572 -13 -585 0
516 34 -335 0
114 -321 58 0
-110 -419 -63 0
349 -257 348 0
10 474 -64 0
551 -394 244 0
76 -415 122 0
519 363 30 0
543 -192 476 0
409 -597 -223 0
-228 -140 -412 0
7 -481 -565 0
302 42 427 0
-543 -464 57 0
-461 63 -13 0
83 114 112 0
312 156 -535 0
463 565 -239 0
-363 -52 227 0
251 -140 241 0
-87 443 -346 0
176 -410 -215 0
137 -336 371 0
49 485 -355 0
3 -491 561 0
458 -14 4 0
-399 558 249 0
600 352 -97 0
-391 197 7 0
370 576 -304 0
-124 -174 -510 0
439 -136 297 0
595 236 -201 0
336 234 314 0
-153 5 -168 0
217 -214 526 0
-511 307 -162 0
241 500 -116 0
-572 -16 -135 0
251 -188 297 0
-139 -424 -394 0
332 -349 -306 0
140 437 -169 0
-586 550 399 0
82 -8 355 0
-422 -414 -248 0
135 166 28 0
266 -172 502 0
-221 -348 144 0
-67 514 -294 0
-98 194 -190 0
311 129 -118 0
-358 196 480 0
-421 -110 -462 0
357 232 11 0
199 -409 -84 0
321 -420 223 0
273 110 -392 0
68 357 -212 0
-193 195 -275 0
-353 47 185 0
-405 -430 448 0
-139 590 154 0
-303 -72 332 0
-331 -373 235 0
-31 -319 -392 0
539 -278 306 0
48 -233 -100 0
322 -447 509 0
-41 -416 517 0
-319 -349 162 0
598 433 -336 0
92 131 331 0
-495 -290 141 0
418 -560 264 0
-531 474 399 0
-59 529 -520 0
411 25 241 0
317 -235 486 0
-585 -338 -38 0
-247 -206 236 0
-429 -418 -207 0
-257 393 -294 0
-327 238 211 0
-226 -536 244 0
289 -483 -256 0
376 135 77 0
-126 135 418 0
-523 211 250 0
-592 -214 496 0
422 -278 224 0
594 -552 180 0
-177 -152 -398 0
282 338 140 0
-57 461 -286 0
426 348 -160 0
141 525 310 0
288 156 -97 0
336 -454 -111 0
-55 -273 -485 0
-465 -159 321 0
587 -160 -201 0
-351 -463 360 0
-165 366 -506 0
294 242 213 0
198 -443 -534 0
153 -409 419 0
-542 119 219 0
372 -188 -81 0
-201 -32 7 0
-131 528 417 0
-23 394 178 0
364 -597 196 0
-394 -124 342 0
579 -349 239 0
562 -449 277 0
-592 548 174 0
459 -134 100 0
-549 -297 -449 0
254 -244 -417 0
149 -300 339 0
-465 -175 176 0
238 14 503 0
448 -10 23 0
531 -113 238 0
212 -246 598 0
318 -469 -86 0
238 -586 448 0
236 121 -5 0
392 -287 -52 0
-233 554 221 0
-58 436 -218 0
-543 12 -585 0
-35 434 144 0
-151 -322 -200 0
-237 315 542 0
-165 414 377 0
-519 578 -359 0
7 -495 -184 0
-258 295 -72 0
308 -89 -282 0
-456 -273 -124 0
496 463 153 0
376 -261 310 0
-191 232 -314 0
-338 220 532 0
-306 424 343 0
71 452 348 0
441 -469 -578 0
492 -533 -599 0
-532 448 323 0
188 -119 263 0
-409 -250 -46 0
-332 -333 -88 0
17 145 43 0
-575 348 336 0
-34 -71 -524 0
514 -291 -167 0
413 365 90 0
-52 -37 275 0
-484 447 -5 0
233 -227 -29 0
-368 5 384 0
-489 41 425 0
478 -8 -233 0
-189 550 305 0
-79 -539 470 0
-463 -504 -194 0
-520 76 511 0
223 -554 -506 0
-581 -228 56 0
429 221 -94 0
-433 -127 293 0
-135 440 -271 0
-589 -547 -353 0
147 -587 -286 0
-212 95 -494 0
461 -7 -18 0
320 207 509 0
-338 -542 -317 0
-525 471 -289 0
-483 124 -289 0
-305 118 -422 0
357 114 97 0
-342 -140 -191 0
353 -483 520 0
-98 492 -502 0
-517 448 447 0
156 -29 -175 0
415 444 -423 0
310 97 -538 0
-86 -58 565 0
122 -404 -583 0
549 -170 184 0
489 -494 532 0
204 -576 540 0
-396 20 -275 0
382 92 -480 0
445 241 290 0
-331 305 -456 0
345 192 236 0
-360 341 -148 0
452 -172 309 0
164 -274 370 0
461 248 -224 0
234 -487 146 0
-358 -535 314 0
-451 459 -591 0
143 -86 317 0
141 101 -26 0
62 165 -31 0
314 534 192 0
30 135 389 0
-442 -299 526 0
566 -398 31 0
209 -539 20 0
-209 352 -528 0
549 -305 -248 0
421 -220 87 0
-527 -53 501 0
-16 -489 -276 0
-164 -77 -18 0
-196 -408 37 0
-374 -205 514 0
312 86 384 0
-91 424 324 0
-496 581 -147 0
-138 240 85 0
485 43 510 0
-524 -552 103 0
-239 -34 -547 0
-244 -353 -234 0
227 -284 142 0
519 152 -117 0
-479 -56 -42 0
-365 3 -130 0
554 -136 -45 0
505 254 -16 0
-249 234 -389 0
-537 -332 -485 0
260 521 388 0
-190 187 -409 0
298 89 359 0
-232 183 83 0
466 45 241 0
-371 216 71 0
170 -128 -378 0
537 96 240 0
534 -67 165 0
137 -243 348 0
479 328 -71 0
192 419 -347 0
-343 -562 -320 0
360 592 -470 0
304 57 -447 0
-568 -491 438 0
-398 -448 498 0
455 -281 102 0
-479 -379 -374 0
-20 30 363 0
420 343 589 0
52 263 -302 0
576 -319 -303 0
138 570 365 0
-361 207 -543 0
329 -249 -515 0
-250 421 -3 0
-220 464 279 0
-89 -149 -15 0
-492 272 -587 0
303 -523 245 0
-307 -315 -263 0
-5 -514 -114 0
433 -92 -340 0
-407 -137 -19 0
-527 -112 251 0
532 -144 217 0
-461 52 204 0
-86 452 97 0
-45 443 -120 0
-562 -8 -326 0
-94 579 285 0
215 190 430 0
523 448 -517 0
-57 -44 151 0
-304 476 251 0
423 -367 244 0
512 138 592 0
147 256 -363 0
251 -308 -112 0
-478 550 297 0
17 -83 425 0
-250 -386 -366 0
-511 -332 -282 0
130 -73 -312 0
-355 -141 588 0
403 474 299 0
-210 509 338 0
-464 508 455 0
324 -248 317 0
480 -116 -215 0
291 172 -530 0
-437 -324 -88 0
555 -299 -489 0
-134 263 -449 0
-102 -428 190 0
-187 -23 388 0
256 443 -506 0
461 -25 218 0
-176 211 10 0
-360 -306 319 0
-486 -408 446 0
336 -503 549 0
-162 -289 -560 0
409 -424 -472 0
343 449 150 0
-243 -8 -437 0
-1 -521 -110 0
372 461 -403 0
421 -116 -294 0
80 -280 46 0
-507 -332 56 0
494 -90 -327 0
-417 95 586 0
-56 -368 -559 0
86 -341 -184 0
250 -183 -185 0
522 261 299 0
-140 573 -409 0
-510 -405 574 0
485 181 -512 0
-342 -517 -275 0
599 356 295 0
-342 -566 -226 0
533 102 553 0
-305 -114 -82 0
-156 -272 445 0
230 228 17 0
-586 -340 275 0
-404 -481 -582 0
370 404 -310 0
-306 329 43 0
-16 -500 387 0
-41 514 292 0
62 564 191 0
566 569 -206 0
-518 507 279 0
476 57 -248 0
460 -341 346 0
-121 -224 7 0
-290 109 -362 0
-166 577 58 0
31 162 87 0
289 443 77 0
-526 575 -328 0
286 -206 513 0
315 -528 -376 0
312 379 -496 0
559 -316 -187 0
-273 534 -353 0
114 389 -424 0
-188 334 579 0
-441 -26 332 0
591 126 119 0
313 -455 -253 0
-209 403 -554 0
-288 -367 579 0
31 -402 -393 0
-338 -141 272 0
256 205 -307 0
-123 -393 -259 0
395 584 -396 0
-532 -67 -307 0
568 -178 -85 0
-436 -465 -538 0
-126 138 -336 0
-139 -114 211 0
174 5 93 0
399 -191 559 0
569 -124 -353 0
-350 -116 263 0
82 -563 -248 0
125 70 274 0
140 -255 -318 0
-386 -573 146 0
-593 361 -303 0
51 -529 201 0
-412 347 123 0
313 -286 -371 0
-358 -491 74 0
-208 -93 -123 0
-577 243 454 0
-188 -52 -326 0
-294 -576 106 0
92 32 -57 0
-278 336 457 0
516 -206 531 0
-142 -528 -450 0
286 -595 494 0
148 147 -39 0
234 -536 354 0
454 44 -246 0
294 -315 -63 0
165 -551 319 0
297 136 529 0
375 176 26 0
-298 205 289 0
-547 93 -338 0
110 143 -288 0
-416 215 -528 0
-310 371 -57 0
-469 88 -587 0
590 42 243 0
79 -583 -588 0
-319 166 -44 0
351 -255 172 0
21 562 482 0
-592 500 549 0
-292 325 -503 0
-87 384 -474 0
579 155 -350 0
-337 -264 253 0
338 229 121 0
253 -375 1 0
520 153 202 0
17 -282 -139 0
-464 -570 400 0
77 414 -501 0
366 -396 446 0
577 -503 -320 0
-408 -1 392 0
-301 476 -49 0
-501 600 -81 0
-596 278 517 0
-347 172 -436 0
487 74 506 0
223 503 -287 0
577 -532 249 0
467 553 305 0
-275 -283 -552 0
444 353 -282 0
305 105 -94 0
-138 5 -328 0
236 321 489 0
-184 238 329 0
422 -321 229 0
-4 -538 -43 0
218 -322 174 0
313 597 -471 0
-260 512 159 0
-459 -51 -255 0
-469 -325 -246 0
46 -104 -361 0
-343 165 -578 0
-541 -60 -248 0
528 359 411 0
-578 421 75 0
-61 448 590 0
433 364 496 0
-241 531 248 0
-403 -60 -317 0
-465 -84 -240 0
136 -64 -195 0
-36 -337 -200 0
33 -209 -447 0
-207 399 139 0
-189 -320 331 0
-290 188 -104 0
-203 -184 383 0
-265 -81 -256 0
38 -484 -183 0
383 -343 -162 0
487 558 166 0
141 -480 -578 0
-29 -596 373 0
-440 504 97 0
368 302 493 0
-55 -111 372 0
-301 26 355 0
330 -302 235 0
486 -24 522 0
114 -108 541 0
-541 -178 -207 0
-352 -221 69 0
-89 59 444 0
452 -543 272 0
-462 222 246 0
-39 -546 104 0
-41 -535 -70 0
-268 499 -49 0
-177 -1 -311 0
70 -323 -552 0
-276 363 -417 0
31 562 347 0
124 170 -497 0
-46 -259 -72 0
-99 33 246 0
410 83 100 0
589 2 501 0
432 277 -442 0
-322 -276 482 0
-495 228 -332 0
326 312 584 0
397 479 -277 0
600 -45 -259 0
193 510 -369 0
-32 -243 227 0
-517 260 263 0
-10 232 -464 0
590 -509 -546 0
495 453 440 0
91 -598 525 0
390 515 370 0
158 -16 -122 0
-295 525 -272 0
363 259 471 0
-248 594 -431 0
246 -148 -437 0
308 -527 198 0
570 -549 -376 0
576 -309 77 0
321 37 -146 0
-140 -155 138 0
-287 23 -92 0
254 600 -259 0
415 51 123 0
545 -516 -518 0
-516 529 -580 0
583 -560 -184 0
-588 -284 -394 0
-572 -50 -79 0
236 431 -2 0
424 395 118 0
593 -429 410 0
-258 596 -128 0
-590 108 31 0
157 335 344 0
-76 398 395 0
45 81 -285 0
294 522 330 0
59 541 -282 0
-171 -187 299 0
35 385 -461 0
-46 489 -54 0
240 -405 -570 0
-327 547 300 0
18 -400 -298 0
-457 19 316 0
143 -496 32 0
510 556 -470 0
214 378 420 0
-244 164 484 0
372 259 -78 0
372 301 399 0
-85 -506 489 0
75 -1 556 0
177 -38 273 0
-555 -467 -483 0
-381 503 -189 0
550 113 235 0
312 -281 -90 0
-366 -222 542 0
-579 -255 426 0
-65 148 -384 0
591 168 -45 0
-318 -290 206 0
525 39 -99 0
-246 -599 -240 0
-280 -400 389 0
191 325 406 0
-224 -327 242 0
248 555 -158 0
445 104 -540 0
-178 -171 291 0
44 -370 382 0
-60 -253 -388 0
-174 91 -143 0
474 -376 246 0
-172 -317 -68 0
181 -366 -138 0
-4 385 -324 0
272 -564 -81 0
302 512 -534 0
351 100 88 0
206 139 582 0
556 330 -68 0
1 -426 150 0
373 -309 -59 0
309 -570 61 0
216 -167 -452 0
277 -318 362 0
535 -389 -336 0
-10 -498 -250 0
533 -129 -210 0
312 119 585 0
-30 -389 -501 0
-335 -411 265 0
-115 307 511 0
-114 463 176 0
469 -226 508 0
161 434 24 0
-542 186 217 0
207 286 46 0
-475 -198 336 0
403 322 503 0
-248 -494 -363 0
469 155 463 0
446 -128 -423 0
-467 -550 -22 0
58 482 4 0
-350 220 -363 0
-156 -405 -126 0
66 264 -247 0
-100 355 -473 0
502 16 -88 0
-488 -174 -157 0
-594 587 -333 0
192 80 373 0
-462 -110 -226 0
232 150 -179 0
37 494 329 0
54 165 278 0
-358 -536 166 0
48 -571 -283 0
456 475 116 0
-442 600 272 0
-64 33 -462 0
553 -505 -113 0
530 -381 579 0
548 509 504 0
377 35 -162 0
459 46 92 0
-545 -231 43 0
-531 -456 -407 0
50 526 -309 0
258 -8 -48 0
454 380 -471 0
-525 -169 -115 0
170 49 513 0
56 -87 -563 0
-219 525 221 0
-392 490 572 0
-528 255 463 0
-273 -483 398 0
265 -442 -78 0
480 133 -34 0
-376 -391 533 0
34 -277 -230 0
178 420 448 0
287 126 520 0
30 -232 159 0
-76 85 228 0
565 265 524 0
-279 105 212 0
-598 -395 -397 0
-389 74 479 0
465 -117 -420 0
-140 -258 362 0
-175 327 -178 0
19 -40 -333 0
132 -229 273 0
155 -392 468 0
360 -313 -383 0
91 195 63 0
-286 -102 461 0
-429 134 -441 0
408 -562 345 0
563 -250 -3 0
40 -375 -480 0
-44 -199 142 0
-542 47 -363 0
218 56 -105 0
468 -58 48 0
-106 -477 343 0
507 -458 16 0
-328 24 381 0
-225 -400 -118 0
227 -594 -471 0
-275 -31 169 0
411 -222 304 0
147 -5 -348 0
392 -447 57 0
-447 194 -317 0
505 -230 -256 0
-202 -338 -95 0
-437 100 -305 0
-553 -41 21 0
-194 411 -590 0
252 296 197 0
209 -406 489 0
71 -83 412 0
167 -356 -92 0
-549 594 -557 0
-255 167 90 0
-467 -83 249 0
225 126 -433 0
-341 -188 480 0
11 47 283 0
-307 408 222 0
225 228 329 0
-106 -142 -597 0
542 -379 3 0
-43 -27 -136 0
-597 -68 453 0
-33 -487 83 0
166 -491 512 0
-573 415 -136 0
509 -533 -503 0
423 -463 525 0
-438 -209 138 0
270 -253 -178 0
343 -113 -246 0
598 290 -89 0
-62 421 508 0
-575 306 -138 0
-229 -309 182 0
584 -389 -384 0
-479 562 -413 0
119 -379 438 0
379 257 404 0
-70 291 302 0
-46 -357 547 0
-596 138 564 0
-1 -376 470 0
-347 -595 -567 0
304 -193 75 0
476 -111 -41 0
307 288 175 0
-365 443 468 0
389 -169 584 0
246 383 -425 0
343 215 536 0
247 522 135 0
269 -506 -491 0
-200 254 -267 0
206 490 110 0
600 193 264 0
187 525 260 0
242 -55 368 0
-392 -68 -293 0
-1 377 -133 0
360 34 -162 0
-432 379 55 0
429 458 -532 0
554 -221 -285 0
457 -215 -315 0
-426 -295 542 0
32 -136 -369 0
492 -90 -260 0
-498 45 -31 0
-343 -83 -169 0
-10 -288 178 0
187 -69 125 0
451 326 -52 0
494 565 346 0
-264 357 -347 0
-494 -242 -332 0
439 307 -425 0
-258 -97 256 0
-444 -265 419 0
-580 -432 -477 0
22 415 -556 0
-68 577 -443 0
-165 348 223 0
-324 -359 460 0
-414 -68 -431 0
581 -491 -431 0
-264 -221 -598 0
436 302 67 0
291 311 -147 0
533 524 465 0
-209 -508 -1 0
-81 599 -228 0
-565 -322 235 0
64 514 297 0
539 97 511 0
-467 269 -515 0
152 -36 -544 0
-547 -63 -431 0
539 249 -134 0
-323 526 -196 0
-57 244 -199 0
-183 485 300 0
-403 -121 287 0
457 -106 482 0
-316 596 -175 0
-234 -567 352 0
85 -99 464 0
-385 -308 -408 0
-114 -582 -288 0
383 426 452 0
556 464 532 0
-447 -69 -266 0
-366 -243 -4 0
2 149 98 0
125 378 309 0
-60 217 319 0
-41 402 587 0
-424 -470 73 0
-558 338 395 0
-115 360 -151 0
-419 171 -509 0
-176 -77 423 0
-552 138 -157 0
-480 -30 325 0
-283 93 -90 0
-21 557 -136 0
314 41 80 0
-66 51 -451 0
-392 -157 -425 0
240 463 -121 0
-506 534 98 0
289 -194 5 0
95 -23 416 0
-295 559 -438 0
438 -172 -452 0
-75 438 112 0
-246 -137 439 0
-449 251 284 0
448 -519 -134 0
-127 -5 464 0
-437 -299 -452 0
565 228 -179 0
-22 98 165 0
-378 -221 -149 0
-177 -230 190 0
-120 -215 -40 0
319 -143 -76 0
-459 -336 -380 0
-306 516 -141 0
338 443 -513 0
2 -222 -521 0
-552 549 277 0
-186 58 -548 0
497 509 552 0
-19 145 346 0
-387 -336 592 0
-444 492 562 0
108 -345 438 0
-323 169 494 0
-242 -168 -341 0
-588 176 72 0
448 303 419 0
437 272 -185 0
-153 60 -263 0
280 130 -80 0
-209 -243 402 0
-103 -247 241 0
-271 -494 341 0
-287 -104 -300 0
155 362 -550 0
342 600 -149 0
462 210 -357 0
-335 418 -560 0
151 -580 -119 0
231 -209 -511 0
500 -451 518 0
176 162 -15 0
-384 320 473 0
230 -168 -384 0
-191 122 -554 0
-582 322 51 0
117 -585 382 0
538 199 -480 0
372 -432 -21 0
-487 371 556 0
320 478 315 0
-34 -173 515 0
-512 460 337 0
-90 206 -252 0
443 379 -104 0
486 -221 163 0
-68 -185 521 0
551 259 582 0
-411 -219 -127 0
-563 118 172 0
161 259 -26 0
89 513 -128 0
330 462 -267 0
-525 -561 -301 0
-551 -403 523 0
446 330 -444 0
-153 171 -51 0
212 -251 -181 0
244 566 -586 0
-545 240 -387 0
-369 -388 -538 0
-341 -98 -388 0
443 -172 -196 0
133 31 -595 0
-423 458 218 0
404 -257 207 0
-71 346 594 0
142 342 -158 0
-534 472 -63 0
-377 -487 466 0
-416 582 9 0
-240 -382 365 0
137 -504 -451 0
7 596 -315 0
-182 -168 -68 0
125 214 434 0
25 442 227 0
508 -464 432 0
231 477 -348 0
-401 -166 374 0
-128 296 508 0
-248 -409 -173 0
342 567 383 0
160 -42 -458 0
-27 -217 100 0
180 -534 385 0
43 -541 -139 0
3 97 -155 0
-136 321 369 0
-375 -237 -224 0
419 570 589 0
-415 185 352 0
72 -413 -59 0
-14 -145 378 0
43 -214 -313 0
465 151 21 0
-311 561 453 0
-267 -498 439 0
-494 -74 -235 0
-471 497 158 0
8 230 458 0
180 -521 -215 0
-115 -458 -470 0
19 -488 583 0
199 592 -11 0
151 72 -86 0
42 -267 -152 0
-344 2 -64 0
-599 -541 96 0
474 -422 -399 0
56 429 -65 0
185 260 -463 0
343 -527 273 0
-2 584 57 0
255 309 455 0
122 262 223 0
-541 -444 -184 0
-342 100 -235 0
-116 -573 403 0
127 303 100 0
-98 -9 -91 0
586 116 394 0
472 394 413 0
237 -585 -60 0
475 406 60 0
-346 -415 -596 0
-355 -214 -135 0
489 -160 -110 0
-310 -305 -221 0
548 -25 107 0
-448 176 202 0
-576 58 478 0
-500 11 -379 0
-28 -540 -45 0
372 -178 258 0
397 -386 -522 0
-549 -578 -9 0
-124 93 304 0
-549 -214 -416 0
-61 138 -334 0
539 386 144 0